/* SPDX-License-Identifier: GPL-2.0-only */
#include <asm/kexec.h>
#include <linux/linkage.h>
#include <asm/segment.h>
#include <asm/page_types.h>
#include <asm/processor-flags.h>
#include <asm/msr-index.h>

	.text
	.align PAGE_SIZE
	.code64
SYM_CODE_START(angel_loop)
	movq	0x18(%rsi), %rsp

	jmp	real_angel_loop
SYM_CODE_END(angel_loop)
